$\forall$$g$:OGrp, $a$, $b$, $c$:$\mid$$g$$\mid$. ($a$ $\leq$ $b$) $\Leftarrow\!\Rightarrow$ (($c$ $\ast$ $a$) $\leq$ ($c$ $\ast$ $b$))